Algebraiczna i strukturalna teoria automatów

POZ/ODP:

pod red. Bolesława Mikołajczaka ; [aut. Jan Bergandy et al.] ; Polska Akademia Nauk. Instytut Podstaw Informatyki.

ADRES WYD.:

Warszawa ; Łódź : Państ. Wydaw. Naukowe, 1985 (Łódź : ZGWN).

HASŁA:

1. Automaty - teoria - matematyka
2. Grafy - teoria - stosowanie
3. Logika matematyczna - stosowanie

OPIS FIZYCZ.:

355, [1] s. : rys. ; 24 cm.

SYGNATURA:

[MC] 519.7:510.6:519.1

KOD/INWENT:

301000186528

18652

UKD:

519.7:510.6:519.1

UWAGI:

Bibliogr. s. 335-343. - Indeksy. - Rez., sum.

DOSTĘPNOŚĆ:

DZIAŁANIE:

AUTOR:

Majewski, Władysław.

POZ/ODP:

Władysław Majewski, Aleksander Albicki.

ADRES WYD.:

Warszawa : Wydaw-a Naukowo-Techniczne, 1980 (Pozn : PZGMK).

SERIA:

Podręczniki Akademickie. Elektronika,Informatyka, Telekomunikacja

HASŁA:

1. Algebra - podręcznik akademicki
2. Automaty - teoria - podręcznik akademicki

OPIS FIZYCZ.:

192 s. : il. tab. ; 24 cm.

SYGNATURA:

[MC] 519.7:512](075.8)

KOD/INWENT:

301000096803
301000096810

9680
9681

UKD:

519.7:512](075.8)

UWAGI:

Bibliogr. przy rozdz. i s. 188-190. - Indeks.

DOSTĘPNOŚĆ:

DZIAŁANIE:

AUTOR:

Augustyniak, Krystyna.

POZ/ODP:

K. Augustyniak, W. Augustyniak.

ADRES WYD.:

Warszawa : Wydaw-a Komunikacji i Łączności, 1980 (Tor : ZG).

HASŁA:

1. Automaty - teoria
2. Gry i zabawy umysłowe
3. Maszyny matematyczne - teoria
4. Teoria gier

OPIS FIZYCZ.:

174, [2] s. : il., tab., wykr. ; 21 cm.

SYGNATURA:

[MC] 519.7:519.83:681.32:793.7

KOD/INWENT:

301000095356

9535

UKD:

519.7:519.83:681.32:793.7

UWAGI:

Bibliogr. s. [175].

DOSTĘPNOŚĆ:

DZIAŁANIE:

AUTOR:

Mikołajczak, Bolesław.

POZ/ODP:

Bolesław Mikołajczak.

ADRES WYD.:

Warszawa ; Poznań : Państ. Wydaw. Naukowe, 1988 (Pozn. : UAM).

SERIA:

Teoria i Technika Systemów / Polska Akademia Nauk. Oddział w Poznaniu, t. 6

HASŁA:

1. Algebra - zagadnienia
2. Automaty - teoria - matematyka
3. Teoria mnogości - zagadnienia

OPIS FIZYCZ.:

89, [1] s. : rys. ; 24 cm.

SYGNATURA:

[MC] 519.7:512:510.22

KOD/INWENT:

301000227894

22789

UKD:

519.7:512:510.22

UWAGI:

Bibliogr. s. 80-83. - Summ.

DOSTĘPNOŚĆ:

DZIAŁANIE:

AUTOR:

Starke, Peter H.

POZ/ODP:

Peter H. Starke ; z niem. tł. Jacek Żurek.

ADRES WYD.:

Warszawa : Państ. Wydaw. Naukowe, 1987 (Pozn. : UAM).

HASŁA:

1. Automaty - teoria - matematyka
2. Grafy
3. Sieć komputerowa - teoria

OPIS FIZYCZ.:

149, [3] s. : rys. ; 24 cm.

SYGNATURA:

[MC] 519.7:519.2:681.324

KOD/INWENT:

301000208848

20884

UKD:

519.7:519.2:681.324

UWAGI:

Oryg. : "Petri-Netze : Grundlagen, Anwendungen, Theorie" 1980. Bibliogr. s. 133-149.

DOSTĘPNOŚĆ:

DZIAŁANIE:

AUTOR:

Kowalski, Stanisław.

POZ/ODP:

Stanisław Kowalski, Andrzej Włodzimierz Mostowski.

ADRES WYD.:

Warszawa ; Łódź : Państwowe Wydaw. Naukowe, 1979.

HASŁA:

1. Automaty - teoria - podręcznik akademicki
2. Językoznawstwo matematyczne - podręcznik akademicki

OPIS FIZYCZ.:

115, [1] s. : il., tab., 1 wykr. ; 25 cm.

SYGNATURA:

[MC] 62-52:51:801.5](075.8)

KOD/INWENT:

301000070971

7097

UKD:

62-52:51:801.5](075.8)

UWAGI:

Bibliogr. s. 112. - Indeks.

DOSTĘPNOŚĆ:

DZIAŁANIE:

AUTOR:

Hopcroft, John E.

POZ/ODP:

John E. Hopcroft, Jeffrey D. Ullman ; [z ang. tł. Beata Konikowska].

ADRES WYD.:

Warszawa : Wydaw. Naukowe PWN, 1995 (Wroc. : WDN,

HASŁA:

1. Automaty - teoria - matematyka - podręcznik akademicki
2. Językoznawstwo matematyczne - podręcznik akademicki
3. Programowanie - teoria - podręcznik akademicki

OPIS FIZYCZ.:

478, [2] s. : rys. ; 24 cm.

SYGNATURA:

[MC] 519.7:801:519.85](075.8)

KOD/INWENT:

301000279756

27975

UKD:

519.7:801:519.85](075.8)

UWAGI:

Oryg. : "Introduction to automata theory, languages, and computation" 1979. Bibliogr. s. 460-471 i przy rozdz. - Indeks.

DOSTĘPNOŚĆ:

DZIAŁANIE: